منابع مشابه
A System for Axiomatic Programming
We present the design and implementation of a system for axiomatic programming, and its application to mathematical software construction. Key novelties include a direct support for user-defined axioms establishing local equalities between types, and overload resolution based on equational theories and user-defined local axioms. We illustrate uses of axioms, and their organization into concepts...
متن کاملAn axiomatic study of infinite basis
We present a new technique for studying the w-axiomatizability of the semantics in the ltbt-spectrum. Although Fokkink et al. have recently solved most of the problems still open, our main goal is to shed light on them, and to simply and unify their proofs. Besides, we will focus on preorders (and make a fundamental use of the axiom for ready simulation semantics) instead of equivalences, since...
متن کاملTowards Axiomatic Basis of Inductive Inference
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requir...
متن کاملAxiomatic basis for spaces with non integer dimension
Five structural axioms are proposed which generate a space 5 D with "dimension" D that is not restricted to the positive integers. Four of the axioms are topological; the fifth specifies an integration measure. When D is a positive integer, 5D behaves like a conventional Euclidean vector space, but nonvector character otherwise occurs. These 5 D conform to informal usage of continuously variabl...
متن کاملAn Axiomatic Basis for Reasoning about Trust in PKIs
Trust is essential to a communication channel. The trust relationships, which play an important role in Public Key Infrastructures (PKIs), need to be formalized for providing a reliable modelling methodology to support secure digital communications. In this paper, we present a typed modal logic used for specifying and reasoning about trust in PKIs. In order to study trust relationships within P...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Universal Journal of Computational Mathematics
سال: 2013
ISSN: 2332-3035,2332-3043
DOI: 10.13189/ujcmj.2013.010301